functor F (A : sig end) =
struct
  type t (= *)
end
